метаматематика


метаматематика
metamathematics

* * *

f. metamathematics

Русско-английский математический словарь. 2013.

Смотреть что такое "метаматематика" в других словарях:

  • метаматематика — метаматематика …   Орфографический словарь-справочник

  • Метаматематика — Метаматематика  раздел математической логики, изучаю­щий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики» …   Википедия

  • МЕТАМАТЕМАТИКА — (греч.). Философия математики. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. МЕТАМАТЕМАТИКА греч., от meta, и математика. Философия математики. Объяснение 25000 иностранных слов, вошедших в употребление в русский …   Словарь иностранных слов русского языка

  • метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. М. рассматривает формализованную теорию как множество некоторых конечных… …   Словарь терминов логики

  • Метаматематика —         теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… …   Большая советская энциклопедия

  • МЕТАМАТЕМАТИКА — см. Метатеория. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970 …   Философская энциклопедия

  • МЕТАМАТЕМАТИКА — совокупность математич. теорий, используемых при изучении формальных теорий (исчислений). М., относящаяся к изучению данной формальной теории, составляет то, что наз. метатеорией формальной теории. В близком смысле термин М. используется как… …   Математическая энциклопедия

  • метаматематика — метаматем атика, и …   Русский орфографический словарь

  • метаматематика — (1 ж) …   Орфографический словарь русского языка

  • метаматематика — метаматема/тика, и …   Слитно. Раздельно. Через дефис.

  • метаматематика — и, ж. Галузь методології і математики, що вивчає особливості математичних теорій засобами та методами математики й математичної логіки …   Український тлумачний словник

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.